翻訳と辞書 Words near each other ・ RD-180 (ロケットエンジン) ・ RD-191 (ロケットエンジン) ・ RD-33 (エンジン) ・ RDD方式 ・ RDD法 ・ RDFクエリ言語 ・ RDG レッドデータガール ・ RDI ストライカー12 ・ RDシリーズ ・ RD潜脳調査室 ・ RE (計算複雑性理論) ・ RE:BRIDGE〜Return to oneself〜 ・ RE:VICE【D】 ・ REACTION (バンド) ・ READY STEADY GO (L'Arc〜en〜Cielの曲) ・ REAL (L'Arc〜en〜Cielのアルバム) ・ REAL (L'Arc～en～Cielのアルバム) ・ REAL (ViViDの曲) ・ REAL (中島美嘉のアルバム) ・ REAL (玉置成実の曲) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク RE (計算複雑性理論) ： ウィキペディア日本語版 RE (計算複雑性理論)[あーるいー] 計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題の集合である。逆に解が 'no' であった場合、マシンが停止するかどうかも保証されない。 RE はまた、解が 'yes' であるような問題をチューリングマシンを使ってリストアップ可能な決定問題のクラスでもある。このため 'enumerable'（枚挙可能）と呼ばれる。 解が 'no' の場合に同様の性質となるクラスを Co-RE と呼ぶ。 RE の各要素は帰納的可算集合（recursively enumerable set）である。 == 他のクラスとの関係 == RE は R より厳密に大きいことが知られており、Co-RE とは厳密に等しくないことが知られている。これらには次のような関係がある。 :$\backslash textbf\; =\; \backslash textbf\backslash cap\backslash textbf$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「RE (計算複雑性理論)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.